全文获取类型
收费全文 | 821篇 |
免费 | 156篇 |
国内免费 | 179篇 |
专业分类
航空 | 528篇 |
航天技术 | 156篇 |
综合类 | 156篇 |
航天 | 316篇 |
出版年
2024年 | 1篇 |
2023年 | 8篇 |
2022年 | 12篇 |
2021年 | 13篇 |
2020年 | 30篇 |
2019年 | 17篇 |
2018年 | 15篇 |
2017年 | 8篇 |
2016年 | 28篇 |
2015年 | 27篇 |
2014年 | 52篇 |
2013年 | 44篇 |
2012年 | 49篇 |
2011年 | 61篇 |
2010年 | 65篇 |
2009年 | 55篇 |
2008年 | 43篇 |
2007年 | 47篇 |
2006年 | 43篇 |
2005年 | 42篇 |
2004年 | 30篇 |
2003年 | 36篇 |
2002年 | 60篇 |
2001年 | 30篇 |
2000年 | 34篇 |
1999年 | 31篇 |
1998年 | 40篇 |
1997年 | 32篇 |
1996年 | 39篇 |
1995年 | 35篇 |
1994年 | 25篇 |
1993年 | 18篇 |
1992年 | 20篇 |
1991年 | 20篇 |
1990年 | 9篇 |
1989年 | 10篇 |
1988年 | 5篇 |
1987年 | 6篇 |
1986年 | 7篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1980年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有1156条查询结果,搜索用时 31 毫秒
61.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
62.
63.
电子干扰对低可观测飞行器飞行路径规划的影响 总被引:3,自引:0,他引:3
为了提高巡航导弹的低空突防能力,在分析电子干扰对雷达网威胁区域的影响后认为:在多重干扰条件下,雷达探测空间会顺着干扰方向产生内凹和偏移,因此,建立了新的雷达探测空间模型.采用空间对象间拓扑关系推理方法建立了飞行器飞行路径规划目标函数中雷达威胁指数模型,然后改进了飞行器飞行路径规划模型,并在此基础上进行了巡航导弹飞行路径规划的软件仿真.仿真结果表明:考虑电子干扰对雷达威胁区域的影响情况下规划的飞行路径能够回避雷达威胁,有效提高飞行器低空突防能力. 相似文献
64.
一种新颖组合变换器拓扑研究与应用 总被引:3,自引:4,他引:3
基于电源模块并联和串联的思想,提出了一种新颖双管正激组合变换器拓扑,克服了双管正激变换器副边二极管电压应力过高,输出电压和电流脉动大,只能应用于输出中低压场合的缺点,具有副边二极管电压应力低,可靠性高,原边开关管电流应力低,输出电压和电流脉动小,磁芯元件体积小等优点,本文对该新颖组合变换器进行分析,仿真和实验,表明适合应用于输入中,高电压,输出高压,大电流场合,并成功应用于某型飞机6KVA逆变器前级变换器,各项技术指标均符合设计要求。 相似文献
65.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
66.
施军 《南京航空航天大学学报》1996,28(3):436-439
提出了一种按组成系统的各单元任务失效率比例,并考虑各单元的重要度来分配系统可靠性参数指标的新方法;给出了分别以失效率、平均故障间隔时间表达的分配比例因子及分配公式。该方法是AGREE分配法的改进。文末举例说明该方法的应用及其分配结果的合理性 相似文献
67.
应用模型参考变结构最终滑态控制方案设计了某型中距拦射空空导弹变结构自动驾驶仪。理论分析证明,该方案有效地改善了系统的动态品质,并且对系统的不确定性因素具有较强的鲁棒性,数字仿真结果表明,所设计的变结构自动驾驶仪具有良好的指令跟踪性能,对于系统参数的变化不敏感。 相似文献
68.
69.
符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试 总被引:4,自引:0,他引:4
RS(Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码,由于它具有很强的随机错误和突发错误的纠错能力,被CCSDS,NASA,ESA等空间组织接受,广泛应用于深空探测中.本文采用改进的Berlekamp算法,用FPGA实现了符合CCSDS标准的RS(255,223)码译码器;介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台;给出了测试结果,并且对理论上RS(255,223)译码器的误码性能与实际测试的误码率结果进行了比较和分析.验证结果证明该译码器能工作在400Mbps以上的码率,使用FPGA资源180000门,译码效果与理论上译码效果一致. 相似文献
70.
A coupling fluid-structure method with a combination of viscous wake model(VWM),computational fluid dynamics(CFD) and comprehensive structural dynamics(CSD) modules is developed in this paper for rotor unsteady airload prediction. The hybrid VWM/CFD solver is employed to model the nonlinear aerodynamic phenomena and complicated rotor wake dynamics;the moderate deflection beam theory is implemented to predict the blade structural deformation; the loose coupling strategy based on the ‘delt method' is used to couple the fluid and structure solvers.Several cases of Helishape 7A rotor are performed first to investigate the effect of elastic deformation on airloads. Then, two challenging forward flight conditions of UH-60 A helicopter rotor are investigated, and the simulated results of wake geometry, chordwise pressure distribution and sectional normal force show excellent agreement with available test data; a comparison with traditional CFD/CSD method is also presented to illustrate the efficiency of the developed method. 相似文献